资源类型

期刊论文 1675

年份

2024 3

2023 130

2022 156

2021 135

2020 135

2019 128

2018 99

2017 101

2016 76

2015 88

2014 55

2013 45

2012 38

2011 49

2010 52

2009 51

2008 57

2007 77

2006 49

2005 37

展开 ︾

关键词

遗传算法 9

优化 7

神经网络 7

可持续发展 5

多目标优化 4

机器学习 4

目标识别 4

预测 4

BP神经网络 3

COVID-19 3

HY-2 3

算法 3

CAN总线 2

Cu(In 2

GIS 2

GPS 2

TMS320DM642 2

Weibull分布 2

展开 ︾

检索范围:

排序: 展示方式:

Parametric study on damage control design of SMA dampers in frame-typed steel piers

Xiaoqun LUO, Hanbin GE, Tsutomu USAMI,

《结构与土木工程前沿(英文)》 2009年 第3卷 第4期   页码 384-394 doi: 10.1007/s11709-009-0065-7

摘要: This paper focuses on damage control design of SMA dampers in steel frame piers. A parametric study based on time history analyses is carried out on frame-typed bridge piers with axial-type SMA damping device. The parameters examined are design parameters of strength ratio and stiffness ratio . Seismic performance indexes on displacement and strain are investigated under three JRA recommended Level 2 Ground Type П strong earthquake motions. Design recommendations are suggested following the results of the parametric study.

关键词: damage control design     shape memory alloy     parameter study     displacement-based verification     strain-based verification     time history analysis    

Displacement-based seismic design of high-strength concrete frame columns

ZHANG Guojun, LIU Jianxin, LU Xilin

《结构与土木工程前沿(英文)》 2008年 第2卷 第1期   页码 93-101 doi: 10.1007/s11709-008-0006-x

摘要: Based on the testing results of 108 high-strength concrete columns under constant axial loading and horizontal cyclic loading, the relations between the drift ratio at yield, the maximum displacement drift, the limiting displacement drift, the ductility ratio of testing columns and shear span-to-depth ratio, axial compression ratio, confining reinforcement characteristic values, the ratio of cover area to confined core area as well as longitudinal reinforcement ratio are discussed in this paper. Then the relations between limiting displacement drifts and axial compression ratio, confining reinforcement characteristic values and the ratio of cover area to confined core area are analytically regressed. Subsequently the relations between confining reinforcement characteristic values and axial compression ratio, the limiting displacement drift, and the practical formula used to calculate confining reinforcement characteristic values are put forward. In the end the minimum confining reinforcement characteristic values in the dense hoop regions of high-strength concrete columns are presented by comparatively analysis, and compared with ones in the design code (GB 50010-2002, P. R. China).

关键词: horizontal cyclic     longitudinal reinforcement     design     loading     constant    

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

《信息与电子工程前沿(英文)》 2015年 第16卷 第2期   页码 85-97 doi: 10.1631/FITEE.1400111

摘要: Why is it important to verify/validate model transformations? The motivation is to improve the quality of the transformations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations.

关键词: Graph rewriting based model transformations     Verification/validation     Test-driven verification    

Quality control based on electrode displacement and force in resistance spot welding

Chuntao JI, Lipeng DENG

《机械工程前沿(英文)》 2010年 第5卷 第4期   页码 412-417 doi: 10.1007/s11465-010-0114-x

摘要: The behaviors of electrode displacement and force during spot welding under various conditions, such as different weld currents, electrode forces, and welding times, were studied. Tests were conducted on a 170?kVA MFDC spot welder. Data were collected via a multichannel high-speed data acquisition system and were analyzed with MATLAB. Behaviors of 5182 aluminum and mild steel in spot welding were compared. Results show that nugget expansion rate does not reach zero for aluminium as it does for mild steel as nugget grew to a certain size. A linear relationship is found between the nugget size and maximum expansion that facilitates online weld quality evaluation. An electrode force peak is observed and believed relevant to the sufficient nugget size.

关键词: aluminum     electrode displacement     electrode force     nugget size     data acquisition    

Quality monitoring of resistance spot welding based on electrode displacement characteristics analysis

ZHANG Pengxian, ZHANG Hongjie, CHEN Jianhong, MA Yuezhou

《机械工程前沿(英文)》 2007年 第2卷 第3期   页码 330-335 doi: 10.1007/s11465-007-0058-y

摘要: A new method is developed to monitor joint quality based on the information collection and process in spot welding. First, twelve parameters related to weld quality are mined from electrode displacement signal on the basis of different phases of nugget formation marked by simultaneous dynamic resistance signal. Second, through correlation analysis of the parameters and taking tensile-shear strength of the spot-welded joint as evaluation target, different characteristic parameters are reasonably selected. At the same time, linear regression, nonlinear regression and radial basis function (RBF) neural network models are set up to evaluate weld quality between the selected parameters and tensile-shear strength. Finally, the validity of the proposed models is certified. Results show that all of the models can be used to monitor joint quality. For the RBF neural network model, which is more effective for monitoring weld quality than the others, the average error validated is 2.88% and the maximal error validated is under 10%.

Expert networks as science-policy interlocutors in the implementation of a monitoring reporting and verification

Remi CHANDRAN, Tsuyoshi FUJITA, Minoru FUJII, Shuichi ASHINA, Kei GOMI, Rizaldi BOER, Muhammad ARDIANSYAH, Seiya MAKI

《能源前沿(英文)》 2018年 第12卷 第3期   页码 376-388 doi: 10.1007/s11708-018-0559-x

摘要:

The Paris Agreement, which entered into effect in 2016, emphasizes a definite timeline for communicating and maintaining successive nationally determined contributions (NDCs) that it plans to achieve in addressing climate change. This calls for the development of a measurement, reporting and verification (MRV) system and a Capacity-building Initiative for Transparency (CBIT). Though such actions are universally accepted by the Parties to the Paris Agreement, earlier studies have shown that there remain technological, social, political and financial constrains which will affect the development and deployment of such a system. In this paper, using a case study on MRV implementation in Bogor City in Indonesia, how the above-mentioned challenges can be overcome is outlined through a technological and policy innovation process where scientists and technologists (collectively referred as expert networks) can join hands with local governments and national policy makers in designing, development and implementation of an MRV system that meets the local, national and global requirements. Through the case study it is further observed that expert networks can act as interactive knowledge generators and policy interlocutors in bridging technology with policy. To be specific, first, a brief history of the international context of MRV and CBIT is outlined. Next, the theoretical underpinning of the study is contextualized within the existing theories related to public policy and international relations. Finally, the case study is outlined and investigated where the engagement of an expert-network and policy makers in the design, development and implementation of an MRV tool is showcased.

关键词: MRV     CBIT     UNFCCC     Indonesia     Japan     ICT based monitoring     climate policy    

基于随机森林模型的滑动轨迹人机识别 Research Articles

Zhen-yi XU, Yu KANG, Yang CAO, Yu-xiao YANG

《信息与电子工程前沿(英文)》 2019年 第20卷 第7期   页码 925-929 doi: 10.1631/FITEE.1700442

摘要: 识别码在维护网络安全的人机身份验证中得到广泛应用。人机身份验证面临的挑战包括对人与机器滑动轨迹的正确检测。提出一种基于滑动轨迹数据集的人机识别随机森林模型。通过多维性能评价指标,包括识别准确率、识别召回率、识别误报率、识别漏报率、F值和加权准确率,验证该随机森林模型以及基准模型(逻辑回归模型和支持向量机)。随机森林模型多维性能评价指标优于基准模型。

关键词: 人机识别;随机森林;支持向量机;逻辑回归;多维性能评价指标    

一种基于描述逻辑的体系质量需求建模与验证方法 Article

Qing-long WANG,Zhi-xue WANG,Ting-ting ZHANG,Wei-xing ZHU

《信息与电子工程前沿(英文)》 2017年 第18卷 第3期   页码 346-361 doi: 10.1631/FITEE.1500309

摘要: 在体系顶层设计问题中,体系质量需求分析的关键是体系需求的建模以及自动验证,需要合适的建模方法来描述体系质量需求以及验证质量需求是否满足体系的能力需求。针对体系质量需求建模和验证问题,本文提出一种基于描述逻辑的体系质量需求建模与验证方法。首先,为解决体系功能和非功能需求的描述问题,通过添加模糊构造子扩展统一建模语言(Unified Modeling Language, UML)中的类和关系并定义了基于元模型的领域特定建模语言以实现体系质量需求中模糊和不确定概念的建模。随后提出了基于云模型的体系质量需求评估方法实现了对体系质量需求的评估。然后,提出了模型转换算法将模糊UML构建的体系需求模型转换为描述逻辑本体模型,并通过使用描述逻辑本体推理工具实现需求模型的自动化验证。最后,通过一个案例验证和演示了本文方法的正确性和可行性。

关键词: 体系;云模型;描述逻辑;需求验证    

EMD-Tnorm得分规整策略在说话人确认中的应用

李燕萍,丁辉,唐振民

《中国工程科学》 2010年 第12卷 第2期   页码 95-100

摘要:

从两个方面对确认系统进行了改进,在模型方面,扩展了MixMax模型,对复杂的背景噪声等干扰因素在训练说话人模型的同时也进行了建模,最大程度上消除噪声的影响,对说话人的特征分布进行了更真实的表征;在得分方面,提出了一种改进的得分规整策略,基于EMD距离从所有背景说话人集合中自适应选择最接近的一定数量的模型构成说话人特定的背景集合,从而进行得分归一化。实验结果表明,该方法能够同时针对说话人和测试环境的不同进行补偿,进一步降低了误识率和漏警率,获得了很好的确认性能。

关键词: 说话人确认     鲁棒性     EMD距离     MixMax模型    

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

《工程(英文)》 doi: 10.1016/j.eng.2023.04.016

摘要: The consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human drivers. Using formal or digital methods, natural language traffic rules can be translated into machine language and used by autonomous vehicles. In this paper, a translation flow is designed. Beyond the translation, a deeper examination is required, because the semantics of natural languages are rich and complex, and frequently contain hidden assumptions. The issue of how to ensure that digital rules are accurate and consistent with the original intent of the traffic rules they represent is both significant and unresolved. In response, we propose a method of formal verification that combines equivalence verification with model checking. Reasonable and reassuring digital traffic rules can be obtained by utilizing the proposed traffic rule digitization flow and verification method. In addition, we offer a number of simulation applications that employ digital traffic rules to assess vehicle violations. The experimental findings indicate that our digital rules utilizing metric temporal logic (MTL) can be easily incorporated into simulation platforms and autonomous driving systems (ADS).

关键词: Autonomous driving     Traffic rules     Digitization     Formalization     Verification    

Availability growth models and verification of power equipment

Jinyuan SHI, Jiamin XU

《能源前沿(英文)》 2021年 第15卷 第2期   页码 529-538 doi: 10.1007/s11708-019-0624-0

摘要: The general availability growth models for large scale complicated repairable system such as electric generating units, power station auxiliaries, and transmission and distribution installations are presented. The calculation formulas for the maintenance coefficient, mathematical expressions for general availability growth models, ways for estimating, and fitting on checking the parameters of the model are introduced. Availability growth models for electric generating units, power station auxiliaries, and transmission and distribution installations are given together with verification examples for availability growth models of 320–1000 MW nuclear power units and 1000 MW thermal power units, 200–1000 MW power station auxiliaries, and 220–500 kV transmission and distribution installations. The verification results for operation availability data show that the maintenance coefficients for electric generating units, power station auxiliaries, transmission and distribution installations conform to the power function, and general availability growth models conform to rules of availability growth tendency of power equipment.

关键词: repairable system     power equipment     electric generating unit     power station auxiliary     transmission and distribution installation     reliability     availability     availability growth model    

Lateral displacement of soft ground under vacuum pressure and surcharge load

Chin-Yee ONG, Jin-Chun CHAI

《结构与土木工程前沿(英文)》 2011年 第5卷 第2期   页码 239-248 doi: 10.1007/s11709-011-0110-1

摘要: Surcharge load (e.g. embankment fill) will induce settlement and outward lateral displacement, while vacuum pressure will induce settlement and inward lateral displacement of a ground. Ideally, combination of surcharge load and vacuum pressure can reduce or minimize the lateral displacement. Laboratory large scale model (length: 1.50 m, width: ~0.62 m, height: 0.85 m) tests and finite element analyses (FEA) were conducted to investigate the main influencing factors on lateral displacement of a soft clayey ground under the combination of vacuum pressure and surcharge load. For the conditions investigated, the results indicate that the outward lateral displacement increases with the increase of the ratio of surcharge load to vacuum pressure ( ) and the loading rate of the surcharge load ( ). Also, it is shown that for a given and condition, lateral displacement reduces with the increase of the initial undrained shear strength ( ) of the ground. To predict the lateral displacement of a ground under the combination of surcharge load and vacuum pressure, the loading conditions in terms of and , and value of the ground have to be considered.

关键词: vacuum consolidation     lateral displacement     PVD     finite element analysis     surcharge load    

New model of load transfer function for pile analysis based on disturbed state model

LIU Qijian, YANG Linde, WU Jun

《结构与土木工程前沿(英文)》 2007年 第1卷 第4期   页码 443-447 doi: 10.1007/s11709-007-0060-9

摘要: Based on the disturbed state concept (DSC), a new model of load transfer function for pile analysis is established by the idea that the deformed material between pile and soil can be treated as a mixture of two constituent parts, which are in intact or critical state and assumed to obey random distribution. Starting from the homogenization theory of heterogeneous materials and statistics method, a parameter to describe the disturbance degree is proposed, and a formula to determine the parameter has been derived by using the plastic displacement of a pile as distribution variable. In the model, shear intensity of elements in an intact state are simulated by Duncan-Zhang model and that in a critical state by Mohr-Coulomb criterion. The model of this paper has few parameters, which can reflect the aspects of load transfer function, such as hardening, softening and the effects of confining pressure. The well agreement between the in-situ data and the predicted shows that the validity of the model herein. So the proposed model in this paper is easy to be used in engineering practice.

关键词: hardening     homogenization     displacement     engineering     Duncan-Zhang    

Influence of advanced engineering measures on displacement and stress field of surrounding rock in tunnels

《结构与土木工程前沿(英文)》 doi: 10.1007/s11709-023-0966-x

摘要: Based on significant improvements in engineering materials, three advanced engineering measures have been proposed—super anchor cables, high-strength concrete anti-fault caverns, and grouting modification using high-strength concrete-to resist fault dislocation in the surrounding rock near tunnels crossing active strike-slip faults. Moreover, single- or multiple-joint advanced engineering measures form the local rock mass-anti-fault (LRAF) method. A numerical method was used to investigate the influence of LRAF methods on the stress and displacement fields of the surrounding rock, and the anti-fault effect was evaluated. Finally, the mechanism of action of the anchor cable was verified using a three-dimensional numerical model. The numerical results indicated that the anchor cable and grouting modification reduced the displacement gradient of the local surrounding rock near the tunnels crossing fault. Furthermore, anchor cable and grouting modifications changed the stress field of the rock mass in the modified area. The tensile stress field of the rock mass in the modified anchor cable area was converted into a compressive stress field. The stress field in the modified grouting area changed from shear stress in the fault slip direction to tensile stress in the axial tunnel direction. The anti-fault cavern resisted the dislocation displacement and reduced the maximum dislocation magnitude, displacement gradient, and shear stress. Among the three advanced engineering measures, the anchor cable was the core of the three advanced engineering measures. An anchor cable, combined with other LRAF measures, can form an artificial safety island at the cross-fault position of the rock mass to protect the tunnel. The research results provide a new supporting idea for the surrounding rock of tunnels crossing active strike-slip faults.

关键词: anti-fault effect     engineering measures     LRAF method     stress and displacement field     tunnel-crossing active faults    

Modelling and experimental verification on concrete-filled steel tubular columns with L or T section

LU Xilin, LI Xueping, WANG Dan

《结构与土木工程前沿(英文)》 2007年 第1卷 第2期   页码 163-169 doi: 10.1007/s11709-007-0017-z

摘要: Concrete-filled steel tubular columns with L or T sections were analyzed in this paper. According to the confining mechanism, the stress-strain constitutive model was put forward, and calculated results were compared with experimental records. After that, the hysteretic rules for the in-filled concrete were constructed, aiming at the analysis on the seismic behavior of composite members. The simulation analysis was performed by programming it in Fortran. The models in this paper can be applied in the program of time history analysis on tall buildings with concrete-filled steel tubular columns with L or T sections.

关键词: hysteretic     confining mechanism     Concrete-filled     in-filled     composite    

标题 作者 时间 类型 操作

Parametric study on damage control design of SMA dampers in frame-typed steel piers

Xiaoqun LUO, Hanbin GE, Tsutomu USAMI,

期刊论文

Displacement-based seismic design of high-strength concrete frame columns

ZHANG Guojun, LIU Jianxin, LU Xilin

期刊论文

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

期刊论文

Quality control based on electrode displacement and force in resistance spot welding

Chuntao JI, Lipeng DENG

期刊论文

Quality monitoring of resistance spot welding based on electrode displacement characteristics analysis

ZHANG Pengxian, ZHANG Hongjie, CHEN Jianhong, MA Yuezhou

期刊论文

Expert networks as science-policy interlocutors in the implementation of a monitoring reporting and verification

Remi CHANDRAN, Tsuyoshi FUJITA, Minoru FUJII, Shuichi ASHINA, Kei GOMI, Rizaldi BOER, Muhammad ARDIANSYAH, Seiya MAKI

期刊论文

基于随机森林模型的滑动轨迹人机识别

Zhen-yi XU, Yu KANG, Yang CAO, Yu-xiao YANG

期刊论文

一种基于描述逻辑的体系质量需求建模与验证方法

Qing-long WANG,Zhi-xue WANG,Ting-ting ZHANG,Wei-xing ZHU

期刊论文

EMD-Tnorm得分规整策略在说话人确认中的应用

李燕萍,丁辉,唐振民

期刊论文

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

期刊论文

Availability growth models and verification of power equipment

Jinyuan SHI, Jiamin XU

期刊论文

Lateral displacement of soft ground under vacuum pressure and surcharge load

Chin-Yee ONG, Jin-Chun CHAI

期刊论文

New model of load transfer function for pile analysis based on disturbed state model

LIU Qijian, YANG Linde, WU Jun

期刊论文

Influence of advanced engineering measures on displacement and stress field of surrounding rock in tunnels

期刊论文

Modelling and experimental verification on concrete-filled steel tubular columns with L or T section

LU Xilin, LI Xueping, WANG Dan

期刊论文